/**
 * This is a negative test that asserts if the verifier
 * is able to pick up on un-annotated subclasses of an abstract role.
 *
 * It is intended to generate a compile error, as that can quickly lead to architectural decay
 *
 */
package test.concretesubtypeannotated;